Memory safety - PDFSEARCH.IO - Document Search Engine

Memory safety
Results: 222

#	Item
71	The annual ACAS and University of Warwickshire Lecture in memory of Sir Pat Lowry Add to Reading List Source URL: www.hse.gov.uk Language: English - Date: 2010-05-12 05:22:47 Labour relations Department for Work and Pensions Health and Safety Executive Health and Safety at Work etc. Act Occupational safety and health Alfred Robens Baron Robens of Woldingham Safety culture Health and Safety Commission Trade union Safety Risk Prevention
72	A Certified Framework for Compiling and Executing Garbage-collected Languages Andrew McCreight Tim Chevalier Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-07-25 18:04:13 Data types Memory management C++ Primitive types Type theory Garbage collection Pointer Type safety C Software engineering Computing Computer programming
73	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Software quality Cyberwarfare Vulnerability Buffer overflow Fuzz testing Stack Heap overflow Exploit Memory safety Software bugs Software testing Computer security
74	Finding More Null Pointer Bugs, But Not Too Many David Hovemeyer William Pugh Dept. of Physical Sciences Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:22 Data types Primitive types Software bugs Pointer C programming language FindBugs Null Memory safety C Software engineering Computing Computer programming
75	WIND RIVER DIAB COMPILER Boost application performance, reduce memory footprint, and produce high-quality, standards-compliant object code for embedded systems with Wind River® Diab Compiler. It’s backed by an award-w Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:11 Wind River Systems Embedded operating systems Cross-platform software Dataindustrier AB VxWorks Embedded system Linux Functional Safety Compiler Software Computing Real-time operating systems
76	Fast and Automated Generation of Attack Signatures: A Basis for Building Self-Protecting Servers ∗ Zhenkai Liang and R. Sekar Dept. of Computer Science, Stony Brook University Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:34 Software engineering Buffer overflow Stack buffer overflow PaX Address space layout randomization Vulnerability Memory safety Pointer Uncontrolled format string Computing Software bugs Computer security
77	SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:27 Computer programming Pointer Dangling pointer Stack buffer overflow Memory safety Address space layout randomization Buffer overflow C Memory corruption Computing Software engineering Software bugs
78	The annual ACAS and University of Warwick lecture in memory of Sir Pat Lowry, March 2007 Add to Reading List Source URL: www.hse.gov.uk Language: English - Date: 2010-05-12 05:22:49 Safety engineering Health and Safety at Work etc. Act Alfred Robens Baron Robens of Woldingham Health and Safety Executive Occupational safety and health Health and Safety Commission Bill Callaghan Safety United Kingdom Risk
79	Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, and Fred B. Schneider {djwill,reynolds,kwalsh,egs,fbs}@cs.cornell.edu May 9, 2008 Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-05-14 11:05:27 Interrupts Linux Computer memory Direct memory access Motherboard Device driver Memory-mapped I/O Microkernel Operating system Computer architecture Computing Computer hardware